-
1 impredicative definition
Математика: непредикативное определениеУниверсальный англо-русский словарь > impredicative definition
-
2 impredicative definition
English-Russian scientific dictionary > impredicative definition
-
3 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
4 непредикативное определение
Большой англо-русский и русско-английский словарь > непредикативное определение
-
5 extension
1) надставка; насадка2) удлинитель3) выступающая часть, консольная часть4) пристройка5) продление; продолжение6) простирание; протяжённость; распространение7) растяжение; распрямление8) сварка установочная длина9) геод. сгущение сети опорных точек10) расширение; удлинение; добавление; увеличение11) экстенсия, разгибание•extension in space — матем. протяжённость в пространстве
extension by definition — матем. расширение с помощью определений
extension by adjunction — матем. расширение путём присоединения
См. также в других словарях:
impredicative definition — Term coined by Poincaré ; for a kind of definition in which a member of a set is defined in a way that presupposes the set taken as a whole. Poincaré believed that paradoxes like those of Russell and the barber were due to such definitions, and… … Philosophy dictionary
impredicative — definition … Philosophy dictionary
impredicative definitions — impredicative definition … Philosophy dictionary
Definition — Eine Definition (lateinisch definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist je nach der Definitionslehre, der hierbei gefolgt wird, entweder 1. eine Bestimmung des Wesens einer zu erklärenden Sache oder 2. eines Begriffs oder… … Deutsch Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Impredicativity — In mathematics and logic, impredicativity is the property of a self referencing definition. More precisely, a definition is said to be impredicative if it invokes another set which contains the thing being defined.Russell s paradox is a famous… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Hermann Weyl — Infobox Scientist box width = name = Hermann Klaus Hugo Weyl image size = caption = Hermann Weyl (left) and Ernst Peschl (right) birth date = Birth date|1885|11|9|df=y birth place = Elmshorn, Germany death date = Death date and… … Wikipedia
predicative — See impredicative definition … Philosophy dictionary
Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger … Wikipedia